Automatic Test Sequences Generation from Models

نویسندگان

  • Robert Busser
  • Mark Blackburn
  • Aaron Nauman
چکیده

This paper discusses recent advancements of the test generation system to produce test sequences for testing dynamic systems from design modeling systems such as Mathworks’ Simulink and National Instruments’ MATRIXx. Test sequences support test generation for systems that are modeled using constructs that support feedback, such as integrators or time delays, which are common in control system models. Test sequences can address the logic paths, and computation testing in the software as well as dynamic aspects of systems response.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Improvement of generative adversarial networks for automatic text-to-image generation

This research is related to the use of deep learning tools and image processing technology in the automatic generation of images from text. Previous researches have used one sentence to produce images. In this research, a memory-based hierarchical model is presented that uses three different descriptions that are presented in the form of sentences to produce and improve the image. The proposed ...

متن کامل

Test Case Automatic Generation Research Based on AADL Behavior Annex

Test case generation is essential to software test. Software test efficiency can be greatly improved through test case automatic generation. AADL Behavior Annex is an extension of AADL which can describe detailed behavior of AADL component. In this paper, we discuss a test case automatic generation method based on the AADL Behavior Annex. This method contains two parts: automatic generation of ...

متن کامل

Metadata Enrichment for Automatic Data Entry Based on Relational Data Models

The idea of automatic generation of data entry forms based on data relational models is a common and known idea that has been discussed day by day more than before according to the popularity of agile methods in software development accompanying development of programming tools. One of the requirements of the automation methods, whether in commercial products or the relevant research projects, ...

متن کامل

Automatic Test Generation For Digital Circuits

Current VLSI manufacturing processes suffer from larger defective parts ratio, partly due to numerous emerging defect types. While traditional fault models, such as the stuck at and transition delay fault models are still widely used, they have been shown to be inadequate to handle these new defects. The main aim is to develop a complete behavioral fault simulation and automatic test pattern ge...

متن کامل

Automatic Generation of Diagnostic March Tests

A new approach to automatically generating diagnostic memory tests of linear order (O(N)) is presented. The resulting March tests provide complete detection and distinguishing of all single-cell and two-cell fault models. The approach is based on state transition graph modelling, decomposition of functional memory faults into basic fault effects, and output tracing. For each of the targeted bas...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003